Biblioteca del Dpto. de Ciencias e Ingeniería de la Computación ·
Catálogo
|
|
1. | Logics in artificial intelligence : European Workshop, JELIA'98 Dagstuhl, Germany, October 12-15, 1998 : proceedings / Jürgen Dix, Luís Fariñas del Cerro, Ulrich Furbach (eds.). | 1998 |
|
2. | Logic, action, and information : essays on logic in philosophy and artificial intelligence / edited by André Fuhrmann and Hans Rott. | 1996 |
|
3. | Proof and computation / edited by Helmut Schwichtenberg. | 1995 |
|
4. | Logical foundations of computer science : third international symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings / A. Nerode, Yu.V. Matiyasevich, eds. | 1994 |
|